$\forall$$s$:QOSet, $a$:$\mid$$s$$\mid$. $a$ $\leq$ $a$